Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
p(a(x0), p(b(a(x1)), x2)) → p(x1, p(a(b(a(x1))), x2))
a(b(a(x0))) → b(a(b(x0)))
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
p(a(x0), p(b(a(x1)), x2)) → p(x1, p(a(b(a(x1))), x2))
a(b(a(x0))) → b(a(b(x0)))
Q is empty.